منابع مشابه
The IO and OI Hierarchies Revisited
We study languages of λ-terms generated by IO and OI unsafe grammars. These languages can be used to model meaning representations in the formal semantics of natural languages following the tradition of Montague [19]. Using techniques pertaining to the denotational semantics of the simply typed λ-calculus, we show that the emptiness and membership problems for both types of grammars are decidab...
متن کاملIO vs OI in Higher-Order Recursion Schemes
We propose a study of the modes of derivation of higher-order recursion schemes, proving that value trees obtained from schemes using innermost-outermost derivations (IO) are the same as those obtained using unrestricted derivations. Given that higher-order recursion schemes can be used as a model of functional programs, innermost-outermost derivations policy represents a theoretical view point...
متن کاملI / Oi / Oi / Oi / O I / Oi / O I / Oi / O I / Oi / Oi / Oi / O
The development of a recent technological product, referred to as Array of Conngurable Logic Cells, promotes many opportunities for research and implementationof digital circuits. These arrays include logic cells whose functions can be dynamically speciied by the user. The paper describes the main characteristics of conngurable cells, and indicates the potential use of these arrays for research...
متن کاملPetascale IO Using The Adaptable IO System
ADIOS, the adaptable IO system, has demonstrated excellent scalability to 29,000 cores. With the introduction of the XT5 upgrades to Jaguar, new optimizations are required to successfully reach 140,000+ cores. This paper explains the techniques employed and shows the performance levels attained.
متن کاملSimplified classification oi sp , oibitaneous
A simple classification of products of conception aborted in early pregnancy is described. This classification bears a closer relation to the aetiology of the abortions and the timing of the teratological insult in those conceptuses with morphological abnormalities than have previous classifications. It is hoped it may be of value in counselling patients who abort recurrently and also in the as...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1978
ISSN: 0022-0000
DOI: 10.1016/0022-0000(78)90051-x